301. Combinatorial algebraic topology
پدیدآورنده : Kozlov, DmitriHi Nikolaevich
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Algebra, Homological,، Categories )Mathematics(,، Algebraic topology,، Combinatorial topology
رده :
QA
169
.
K69
302. Commutative formal groups
پدیدآورنده : Lazard, Michel
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Groups, Formal,، Categories )Mathematics(,، Class field theory,، Lie groups
رده :
QA
3
.
L28
no
.
443
303. Commutative formal groups
پدیدآورنده : Lazard, Michel
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Groups, Formal,، Categories )Mathematics(,، Class field theory,، Lie groups
رده :
QA
1
.
L4
v
.
443
304. Commutative formal groups
پدیدآورنده : Lazard, Michel, 4291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Formal groups,، Categories )Mathematics(,، Class field theory,، Lie groups
رده :
QA
3
.
L28
Vol
.
443
305. Commutative formal groups
پدیدآورنده : Lazard, Michel
موضوع : ، Formal groups,، Categories )Mathematics(,، Class field theory,، Lie groups
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
306. Completions of categories : Seminar lectures given 1966 in Zurich
پدیدآورنده : Lambek, Joachim
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Categories )Mathematics(
رده :
QA
3
.
L28
Vol
.
24
307. Completions of categories; seminar lectures given 1966 in Zurich
پدیدآورنده : Lambek, Joachim
موضوع : ، Categories )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
308. Completions of categories; seminar lectures given 1966 in Zurich
پدیدآورنده : Lambek, Joachim
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
24
309. Complicial sets characterising the simplical nerves of strict ]omega[-categories
پدیدآورنده : Verity, Dominic, 6691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Categories )Mathematics(,، Algebraic topology
رده :
QA
3
.
A475
no
.
905
310. Computational category theory
پدیدآورنده : Rydeheard, David E.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Data processing ، Categories )Mathematics(,Programming ، Electronic digital computers
رده :
QA
169
.
R93
1988
311. Computational category theory /
پدیدآورنده : D.E. Rydeheard, R.M. Burstall
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics)-- Data processing,Computer programming
رده :
QA169
.
R93
1988
312. Computational category theory
پدیدآورنده : David E. Rydeheard, Rod M. Burstall
موضوع : Categories (Mathematics)- Data processing,Computer programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
313. Conceptual mathematics : a first introduction to categories
پدیدآورنده : Lawvere, F. W.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Categories )Mathematics(
رده :
QA
169
.
L355
1996
314. Continuous lattices : proceedings of the Conference Topological and Categorical Aspects of Continuous Lattices )Workshop IV( : held at the University of Bremen, Germany, November 9-11, 1979
پدیدآورنده : edited by B. Banaschewski and R.-E. Hoffmann
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Continuous lattices,، Categories )Mathematics(,، Ordered topological spaces
رده :
QA
3
.
L28
Vol
.
871
315. Continuous lattices : proceedings of the Conference on Topological and Categorical Aspects of Continuous Lattices )Workshop IV( : held at the University of Bremen, Germany, November 9-11, 1979
پدیدآورنده : edited by B. Banaschewski and R.-E. Hoffmann
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Lattices, Continuous,، Categories )Mathematics(,، Ordered topological spaces
رده :
QA
1
.
L4
v
.
871
316. Continuous lattices : proceedings of the Conference on Topological and Categorical Aspects of Continuous Lattices )Workshop IV( : held at the University of Bremen, Germany, November 9-11, 1979
پدیدآورنده : edited by B. Banaschewski and R.-E. Hoffmann
موضوع : ، Lattices, Continuous,، Categories )Mathematics(,، Ordered topological spaces
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
317. Continuous lattices: proceedings of the conference on ... )workshop W( held at the University of Bremen, Germany, November 9-11, 1979
پدیدآورنده : edited by B. Banaschewski and R. E. Hoffmann
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Lattices, Continuous,، Categories )Mathematics(,، Ordered topological spaces
رده :
QA
3
.
L28
no
.
871
318. Covers and envelopes in the category of complexes of modules
پدیدآورنده : J.R. Garcia Rozas
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Complexes,Modules )Algebra(,Categories )Mathematics(
رده :
QA
608
.
G24
1999
319. Covers and envelopes in the category of complexes of modules
پدیدآورنده : Garcia Rozas, J. R. )Juan Ramon(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Complexes,، Modules )Algebra(,، Categories )Mathematics(
رده :
QA
608
.
G24
1999
320. Cut elimination in categories /
پدیدآورنده : Kosta Došen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Elimination,Proof theory
